Optimal. Leaf size=371 \[ \frac {\log \left (h (f+g x)^m\right ) \log ^2\left (e \left (\frac {a+b x}{c+d x}\right )^n\right )}{2 n (b c-a d)}-\frac {m \log \left (e \left (\frac {a+b x}{c+d x}\right )^n\right ) \text {Li}_2\left (\frac {(d f-c g) (a+b x)}{(b f-a g) (c+d x)}\right )}{b c-a d}-\frac {m \log ^2\left (e \left (\frac {a+b x}{c+d x}\right )^n\right ) \log \left (1-\frac {(a+b x) (d f-c g)}{(c+d x) (b f-a g)}\right )}{2 n (b c-a d)}+\frac {m \text {Li}_2\left (\frac {d (a+b x)}{b (c+d x)}\right ) \log \left (e \left (\frac {a+b x}{c+d x}\right )^n\right )}{b c-a d}+\frac {m \log \left (\frac {b c-a d}{b (c+d x)}\right ) \log ^2\left (e \left (\frac {a+b x}{c+d x}\right )^n\right )}{2 n (b c-a d)}+\frac {m n \text {Li}_3\left (\frac {(d f-c g) (a+b x)}{(b f-a g) (c+d x)}\right )}{b c-a d}-\frac {m n \text {Li}_3\left (\frac {d (a+b x)}{b (c+d x)}\right )}{b c-a d} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.56, antiderivative size = 384, normalized size of antiderivative = 1.04, number of steps used = 8, number of rules used = 6, integrand size = 43, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.140, Rules used = {2507, 2489, 2488, 2506, 6610, 2503} \[ -\frac {m \log \left (e \left (\frac {a+b x}{c+d x}\right )^n\right ) \text {PolyLog}\left (2,1-\frac {(f+g x) (b c-a d)}{(c+d x) (b f-a g)}\right )}{b c-a d}+\frac {m \text {PolyLog}\left (2,1-\frac {b c-a d}{b (c+d x)}\right ) \log \left (e \left (\frac {a+b x}{c+d x}\right )^n\right )}{b c-a d}+\frac {m n \text {PolyLog}\left (3,1-\frac {(f+g x) (b c-a d)}{(c+d x) (b f-a g)}\right )}{b c-a d}-\frac {m n \text {PolyLog}\left (3,1-\frac {b c-a d}{b (c+d x)}\right )}{b c-a d}+\frac {\log \left (h (f+g x)^m\right ) \log ^2\left (e \left (\frac {a+b x}{c+d x}\right )^n\right )}{2 n (b c-a d)}-\frac {m \log ^2\left (e \left (\frac {a+b x}{c+d x}\right )^n\right ) \log \left (\frac {(f+g x) (b c-a d)}{(c+d x) (b f-a g)}\right )}{2 n (b c-a d)}+\frac {m \log \left (\frac {b c-a d}{b (c+d x)}\right ) \log ^2\left (e \left (\frac {a+b x}{c+d x}\right )^n\right )}{2 n (b c-a d)} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 2488
Rule 2489
Rule 2503
Rule 2506
Rule 2507
Rule 6610
Rubi steps
\begin {align*} \int \frac {\log \left (e \left (\frac {a+b x}{c+d x}\right )^n\right ) \log \left (h (f+g x)^m\right )}{(a+b x) (c+d x)} \, dx &=\frac {\log ^2\left (e \left (\frac {a+b x}{c+d x}\right )^n\right ) \log \left (h (f+g x)^m\right )}{2 (b c-a d) n}-\frac {(g m) \int \frac {\log ^2\left (e \left (\frac {a+b x}{c+d x}\right )^n\right )}{f+g x} \, dx}{2 (b c-a d) n}\\ &=\frac {\log ^2\left (e \left (\frac {a+b x}{c+d x}\right )^n\right ) \log \left (h (f+g x)^m\right )}{2 (b c-a d) n}-\frac {(d m) \int \frac {\log ^2\left (e \left (\frac {a+b x}{c+d x}\right )^n\right )}{c+d x} \, dx}{2 (b c-a d) n}+\frac {((d f-c g) m) \int \frac {\log ^2\left (e \left (\frac {a+b x}{c+d x}\right )^n\right )}{(c+d x) (f+g x)} \, dx}{2 (b c-a d) n}\\ &=\frac {m \log ^2\left (e \left (\frac {a+b x}{c+d x}\right )^n\right ) \log \left (\frac {b c-a d}{b (c+d x)}\right )}{2 (b c-a d) n}-\frac {m \log ^2\left (e \left (\frac {a+b x}{c+d x}\right )^n\right ) \log \left (\frac {(b c-a d) (f+g x)}{(b f-a g) (c+d x)}\right )}{2 (b c-a d) n}+\frac {\log ^2\left (e \left (\frac {a+b x}{c+d x}\right )^n\right ) \log \left (h (f+g x)^m\right )}{2 (b c-a d) n}-m \int \frac {\log \left (e \left (\frac {a+b x}{c+d x}\right )^n\right ) \log \left (-\frac {-b c+a d}{b (c+d x)}\right )}{(a+b x) (c+d x)} \, dx+m \int \frac {\log \left (e \left (\frac {a+b x}{c+d x}\right )^n\right ) \log \left (-\frac {(-b c+a d) (f+g x)}{(b f-a g) (c+d x)}\right )}{(a+b x) (c+d x)} \, dx\\ &=\frac {m \log ^2\left (e \left (\frac {a+b x}{c+d x}\right )^n\right ) \log \left (\frac {b c-a d}{b (c+d x)}\right )}{2 (b c-a d) n}-\frac {m \log ^2\left (e \left (\frac {a+b x}{c+d x}\right )^n\right ) \log \left (\frac {(b c-a d) (f+g x)}{(b f-a g) (c+d x)}\right )}{2 (b c-a d) n}+\frac {\log ^2\left (e \left (\frac {a+b x}{c+d x}\right )^n\right ) \log \left (h (f+g x)^m\right )}{2 (b c-a d) n}+\frac {m \log \left (e \left (\frac {a+b x}{c+d x}\right )^n\right ) \text {Li}_2\left (1-\frac {b c-a d}{b (c+d x)}\right )}{b c-a d}-\frac {m \log \left (e \left (\frac {a+b x}{c+d x}\right )^n\right ) \text {Li}_2\left (1-\frac {(b c-a d) (f+g x)}{(b f-a g) (c+d x)}\right )}{b c-a d}-(m n) \int \frac {\text {Li}_2\left (1+\frac {-b c+a d}{b (c+d x)}\right )}{(a+b x) (c+d x)} \, dx+(m n) \int \frac {\text {Li}_2\left (1+\frac {(-b c+a d) (f+g x)}{(b f-a g) (c+d x)}\right )}{(a+b x) (c+d x)} \, dx\\ &=\frac {m \log ^2\left (e \left (\frac {a+b x}{c+d x}\right )^n\right ) \log \left (\frac {b c-a d}{b (c+d x)}\right )}{2 (b c-a d) n}-\frac {m \log ^2\left (e \left (\frac {a+b x}{c+d x}\right )^n\right ) \log \left (\frac {(b c-a d) (f+g x)}{(b f-a g) (c+d x)}\right )}{2 (b c-a d) n}+\frac {\log ^2\left (e \left (\frac {a+b x}{c+d x}\right )^n\right ) \log \left (h (f+g x)^m\right )}{2 (b c-a d) n}+\frac {m \log \left (e \left (\frac {a+b x}{c+d x}\right )^n\right ) \text {Li}_2\left (1-\frac {b c-a d}{b (c+d x)}\right )}{b c-a d}-\frac {m \log \left (e \left (\frac {a+b x}{c+d x}\right )^n\right ) \text {Li}_2\left (1-\frac {(b c-a d) (f+g x)}{(b f-a g) (c+d x)}\right )}{b c-a d}-\frac {m n \text {Li}_3\left (1-\frac {b c-a d}{b (c+d x)}\right )}{b c-a d}+\frac {m n \text {Li}_3\left (1-\frac {(b c-a d) (f+g x)}{(b f-a g) (c+d x)}\right )}{b c-a d}\\ \end {align*}
________________________________________________________________________________________
Mathematica [B] time = 3.17, size = 1408, normalized size = 3.80 \[ \text {result too large to display} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
fricas [F] time = 1.27, size = 0, normalized size = 0.00 \[ {\rm integral}\left (\frac {\log \left ({\left (g x + f\right )}^{m} h\right ) \log \left (e \left (\frac {b x + a}{d x + c}\right )^{n}\right )}{b d x^{2} + a c + {\left (b c + a d\right )} x}, x\right ) \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
giac [F] time = 0.00, size = 0, normalized size = 0.00 \[ \int \frac {\log \left ({\left (g x + f\right )}^{m} h\right ) \log \left (e \left (\frac {b x + a}{d x + c}\right )^{n}\right )}{{\left (b x + a\right )} {\left (d x + c\right )}}\,{d x} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [F] time = 6.68, size = 0, normalized size = 0.00 \[ \int \frac {\ln \left (e \left (\frac {b x +a}{d x +c}\right )^{n}\right ) \ln \left (h \left (g x +f \right )^{m}\right )}{\left (b x +a \right ) \left (d x +c \right )}\, dx \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maxima [F] time = 0.00, size = 0, normalized size = 0.00 \[ -\frac {{\left (n \log \left (b x + a\right )^{2} + n \log \left (d x + c\right )^{2} - 2 \, {\left (n \log \left (b x + a\right ) - \log \relax (e)\right )} \log \left (d x + c\right ) - 2 \, {\left (\log \left (b x + a\right ) - \log \left (d x + c\right )\right )} \log \left ({\left (b x + a\right )}^{n}\right ) + 2 \, {\left (\log \left (b x + a\right ) - \log \left (d x + c\right )\right )} \log \left ({\left (d x + c\right )}^{n}\right ) - 2 \, \log \left (b x + a\right ) \log \relax (e)\right )} \log \left ({\left (g x + f\right )}^{m}\right )}{2 \, {\left (b c - a d\right )}} + \int \frac {2 \, b c f \log \relax (e) \log \relax (h) - 2 \, a d f \log \relax (e) \log \relax (h) + {\left (b d g m n x^{2} + a c g m n + {\left (b c g m n + a d g m n\right )} x\right )} \log \left (b x + a\right )^{2} + {\left (b d g m n x^{2} + a c g m n + {\left (b c g m n + a d g m n\right )} x\right )} \log \left (d x + c\right )^{2} + 2 \, {\left (b c g \log \relax (e) \log \relax (h) - a d g \log \relax (e) \log \relax (h)\right )} x - 2 \, {\left (b d g m x^{2} \log \relax (e) + a c g m \log \relax (e) + {\left (b c g m \log \relax (e) + a d g m \log \relax (e)\right )} x\right )} \log \left (b x + a\right ) + 2 \, {\left (b d g m x^{2} \log \relax (e) + a c g m \log \relax (e) + {\left (b c g m \log \relax (e) + a d g m \log \relax (e)\right )} x - {\left (b d g m n x^{2} + a c g m n + {\left (b c g m n + a d g m n\right )} x\right )} \log \left (b x + a\right )\right )} \log \left (d x + c\right ) + 2 \, {\left (b c f \log \relax (h) - a d f \log \relax (h) + {\left (b c g \log \relax (h) - a d g \log \relax (h)\right )} x - {\left (b d g m x^{2} + a c g m + {\left (b c g m + a d g m\right )} x\right )} \log \left (b x + a\right ) + {\left (b d g m x^{2} + a c g m + {\left (b c g m + a d g m\right )} x\right )} \log \left (d x + c\right )\right )} \log \left ({\left (b x + a\right )}^{n}\right ) - 2 \, {\left (b c f \log \relax (h) - a d f \log \relax (h) + {\left (b c g \log \relax (h) - a d g \log \relax (h)\right )} x - {\left (b d g m x^{2} + a c g m + {\left (b c g m + a d g m\right )} x\right )} \log \left (b x + a\right ) + {\left (b d g m x^{2} + a c g m + {\left (b c g m + a d g m\right )} x\right )} \log \left (d x + c\right )\right )} \log \left ({\left (d x + c\right )}^{n}\right )}{2 \, {\left (a b c^{2} f - a^{2} c d f + {\left (b^{2} c d g - a b d^{2} g\right )} x^{3} - {\left (a b d^{2} f + a^{2} d^{2} g - {\left (c d f + c^{2} g\right )} b^{2}\right )} x^{2} + {\left (b^{2} c^{2} f + a b c^{2} g - {\left (d^{2} f + c d g\right )} a^{2}\right )} x\right )}}\,{d x} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
mupad [F] time = 0.00, size = -1, normalized size = -0.00 \[ \int \frac {\ln \left (h\,{\left (f+g\,x\right )}^m\right )\,\ln \left (e\,{\left (\frac {a+b\,x}{c+d\,x}\right )}^n\right )}{\left (a+b\,x\right )\,\left (c+d\,x\right )} \,d x \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
sympy [F(-1)] time = 0.00, size = 0, normalized size = 0.00 \[ \text {Timed out} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________